-
sité dédié à la méthode b. la méthode b évoque traditionnellement l'ensemble comprenant : le langage b, le raffinement, la preuve, et les outils associ ...
logiciel prouvé  methode-b  methode formelle  methode formelle b  modèle abstrait  système prouvé 
www.methode-b.com - 2009-02-11
-
Accueil l L'Outil Brama l Télécharger l Démos en ligne l Documentation l Liens l Contact Brama, Outil d'animation graphique de modèle B. Présentation de l'Outil B ...
langage formel  methodes formelles  modelisation b  modélisation b  modelisation graphique  modelisation système 
www.brama.fr - 2009-04-09
-
Le compilateur B est, avec le Générateur de Théorèmes et le démonstrateur de Théorèmes, lun des outils principaux de l'Atelier B. Il permet lanalyse de la synta ...
b compiler  compilateur b 
www.b-compiler.com - 2009-02-09
-
Présentation de l'Atelier b, atelier de génie logiciel permettant de développer des logiciels prouvés sans défaut.
www.atelierb.eu - 2009-03-09
|
méthode b
méthode formelle
langage b
atelier b
|
|